gdk: Make background changes queue a repaint
authorBenjamin Otte <otte@redhat.com>
Wed, 8 Jun 2011 13:47:46 +0000 (15:47 +0200)
committerBenjamin Otte <otte@redhat.com>
Thu, 9 Jun 2011 03:51:53 +0000 (05:51 +0200)
commite45230ad39a773bc8eed64d5d7f9ebaf470ccc4c
tree6029ca07f8cb9617435ebcffe63f0a9401bc437f
parent2a4c361831f5b3fa986bd4d03b3beabaeffec1d8
gdk: Make background changes queue a repaint

For client-side windows, we need to queue a repaint when the background
changes. For native windows, the windowing system does take care of it,
but client-side windows are our own, so we gotta do it manually.

https://bugzilla.gnome.org/show_bug.cgi?id=652102
gdk/gdkwindow.c